181. A first course in fuzzy logic
Author: / Hung T. Nguyen, Elbert A. Walker
Library: Library of College of Science University of Tehran (Tehran)
Subject: Neural networks (Computer science),Fuzzy logic
Classification :
QA
76
.
87
.
N497
2000
182. A first course in logic /
Author: Mark V. Lawson, Heriot-Watt University, Edinburgh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
Classification :
QA9
.
L37256
2018eb
183. A formalization of set theory without variables /
Author: by Alfred Tarski and Steven Givant.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
Classification :
QA248
.
T37
1987
184. A general framework for reasoning on inconsistency
Author: Maria Vanina Martinez ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic,Inconsistency (Logic),Logic design
Classification :
TK7868
.
L6
G46
2013
185. A graph-theoretic approach to enterprise network dynamics
Author: \ Horst Bunke ... [et al.]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Local area networks (Computer networks)-- Mathematical models.,Local area networks (Computer networks),Business enterprises-- Communication systems.,Graph theory-- Data processing.,شبکههای محلی -- الگوهای ریاضی
Classification :
TK5105
.
7
.
G735
2007
E-
Book
,
186. A graph-theoretic approach to enterprise network dynamics /
Author: Horst Bunke [and others].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business enterprises-- Communication systems.,Graph theory-- Data processing.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.,Business enterprises-- Communication systems.,COMPUTERS-- Data Transmission Systems-- Broadband.,COMPUTERS-- Data Transmission Systems-- Wireless.,COMPUTERS-- Networking-- Local Area Networks (LANs),Graph theory-- Data processing.,Informatique.,Local area networks (Computer networks),Local area networks (Computer networks)-- Mathematical models.
Classification :
TK5105
.
7
.
G735
2007eb
187. A graph-theoretic approach to enterprise network dynamics
Author: / Horst Bunke ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Local area networks (Computer networks) -- Mathematical models,Local area networks (Computer networks),Business enterprises -- Communication systems,Graph theory -- Data processing
Classification :
TK
5105
.
7
.
G735
2007
188. A graph-theoretic approach to enterprise network dynamics
Author: / Horst Bunke ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Local area networks (Computer networks)--Mathematical models,Local area networks (Computer networks),Business enterprises--Communication systems,Graph theory--Data processing
Classification :
TK
,
5105
.
7
,.
G735
,
2007
189. A graph-theoretic approach to enterprise network dynamics
Author: Horst Bunke... ]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematical models ، Local area networks )Computer networks(,، Local area networks )Computer networks(,Communication systems ، Business enterprises,Data processing ، Graph theory
Classification :
TK
5105
.
7
.
G726
190. A new paradigm of knowledge engineering by soft computing
Author: editoe, Liya Ding
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Soft computing,Congresses ، Fuzzy systems,Congresses ، Expert systems )Computer science(
Classification :
QA
76
.
9
.
S63
N49
2001
191. A new paradigm of knowledge engineering by soft computing /
Author: editor, Liya Ding.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Expert systems (Computer science), Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Informatique douce.,Systèmes experts (Informatique),Systèmes flous.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Expert systems (Computer science),Fuzzy systems.,Soft computing.
Classification :
QA76
.
9
.
S63
N655
2001eb
192. A new paradigm of knowledge engineering by soft computing
Author: / editor, Liya Ding
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Soft computing--Congresses,Fuzzy systems--Congresses,Expert systems (Computer science)--Congresses
Classification :
QA
,
76
.
9
,.
S63
,
N655
,
2001
193. A perspective of constraint-based reasoning :
Author: edited by H.W. Güsgen, J. Hertzberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
Classification :
QA75
.
E358
1992
194. A primer on scientific programming with Python /
Author: Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Python (Computer program language),Computer programming-- software development.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Programming-- General.,Mathematical physics.,Mathematical theory of computation.,Maths for scientists.,Python (Computer program language),Science-- Mathematical Physics.
Classification :
QA76
.
73
.
P98
195. A proof theory for general unification
Author: Snyder, Wayne, 5591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving
Classification :
QA
76
.
9
.
A96S6
196. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
197. A resolution principle for a logic with restricted quantifiers
Author: Burckert, Hans-Jurgen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
198. A science of operations
Author: / by Peter Mark Priestley
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA76
.
6
.
P75
2010
199. A science of operations
Author: Mark Priestley.,Priestley, Mark
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer programming,Programming languages (Electronic computers),Microcomputers,Logic, Symbolic and mathematical.,History.,History.,History.
Classification :
QA76
.
6
.
P73
2011
200. A science of operations
Author: Mark Priestley
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Computer programming, History,Programming languages (Electronic computers), History,Microcomputers, History,Logic, Symbolic and mathematical
Classification :
QA
،
76
.
6
،.
P737
،
2010
